team publications
Constrained incomplete argumentation frameworks: Expressiveness, complexity and enforcement
AI Communications, 2024, 37 (3), pp.299–322. ⟨10.3233/AIC-220298⟩
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Logical Modeling of the Yōkai Board Game
AI Communications, In press, pp.1-32. ⟨10.3233/AIC-230050⟩
Carlos Navarrete Lizama, Mariana Gomes da Motta Macedo, Rachael Colley, Jingling Zhang, Nicole Ferrada, Maria Eduarda Mello, Rodrigo Lira, Carmelo Bastos-Filho, Umberto Grandi, Jérôme Lang, César A. Hidalgo
Understanding political divisiveness using online participation data from the 2022 French and Brazilian presidential elections
Nature Human Behaviour, 2023, pp.1-84. ⟨10.1038/s41562-023-01755-x⟩
Philippe Balbiani, Cigdem Gencer
Undecidability of admissibility in the product of two Alt logics
Logic Journal of the IGPL, 2023, ⟨10.1093/jigpal/jzad021⟩
Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets
Impure Simplicial Complexes: Complete Axiomatization
Logical Methods in Computer Science, 2023, 19 (4), ⟨10.46298/lmcs-19(4:3)2023⟩
Philippe Balbiani, Quentin Gougeon
Projective relative unification through duality
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exad058⟩
Quentin Gougeon, Philippe Balbiani
Projective relative unification through duality
Journal of Logic and Computation, 2023, pp.1–21. ⟨10.1093/logcom/exad058⟩
Armando Castañeda, Hans van Ditmarsch, David Rosenblueth, Diego Velázquez
Communication Pattern Logic: Epistemic and Topological Views
Journal of Philosophical Logic, 2023, 52 (5), pp.1445-1473. ⟨10.1007/s10992-023-09713-8⟩
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks
Journal of Applied Non-Classical Logics, 2023, Logic, arguments, inconsistencies: festschrift in honour of Philippe Besnard, 33 (3-4), pp.244-297. ⟨10.1080/11663081.2023.2244715⟩
Some completeness results in derivational modal logic
Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exad047⟩
Andreas Herzig, Faustine Maffre
Planifier grâce au bavardage
Interstices, 2017
Dominique Longin, Emiliano Lorini
L’équipe LILaC et l’IA
Bulletin de l’Association Française pour l’Intelligence Artificielle, 2017, Dossier “Equipes de recherche en IA”, 97
-
Philippe Besnard, Eric Grégoire, Badran Raddaoui
Un système argumentatif pour le raisonnement sur des ressources limitées
In : Revue d’Intelligence Artificielle (RIA), Lavoisier, Vol. 29, N. 3-4, pp. 349-368, 2015.
Abstract URL : https://doi.org/10.3166/RIA.29.349-368 – https://oatao.univ-toulouse.fr/22246/
BibTeX -
La honte : quand émotion et raisonnement sont liés
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Affects, compagnons artificiels et interactions, Vol. 28, N. 1, pp. 43-66, 2014.
URL : https://www.irit.fr/publis/LILAC/Journaux_nationaux/2014_Adam-Longin_shame_RIA.pdf – https://oatao.univ-toulouse.fr/12811/
BibTeX -
Philippe Besnard, Eric Grégoire, Cédric Piette, Badran Raddaoui
Calcul d’arguments et de contre-arguments fondé sur les noyaux inconsistants
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 26, pp. 209-224, 2012.
-
Luis Fariñas del Cerro, Andreas Herzig
La logique modale des modèles déquilibre
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Raisonnement non monotone, QBF et programmation par ensembles réponses, Hommage à Pascal Nicolas (ed. J. Lang et P. Marquis), Vol. 26, N. 1-2, pp. 1-15, March 2012.
URL : https://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
BibTeX -
Fabien Poulard, Nicolas Hernandez, Stergos Afantenos, Béatrice Daille
Évaluation de descripteurs statistiques et linguistiques pour la détection de dérivation de texte
In : Document numérique, Hermès, Vol. 13, N. 3, pp. 69-93, 2010.
Abstract URL : http://dn.revuesonline.com/article.jsp?articleId=15721
BibTeX -
Nicholas Asher, Laurent Prévot, Laure Vieu
Setting the Background in Discourse
In : Discours(e), revues.org, Vol. 1, (on line), 2007.
Abstract URL : http://discours.revues.org/index301.html
BibTeX -
Carole Adam, Andreas Herzig, Dominique Longin
PLEIAD, un agent émotionnel pour évaluer la typologie OCC
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Modèles multi-agents pour des environnements complexes, Vol. 21, N. 5-6, pp. 781-811, 2007.
Abstract URL : https://www.irit.fr/publis/LILAC/2007_Adam_et_al_RIA.pdf
BibTeX -
Les processus créatifs à l’épreuve des sciences et technologies de la création
In : Terminal, L’Harmattan, Vol. IV, N. 93 – 94, pp. 168-175, January 2006.
-
Repères pour l’image informatique
In : Terminal, L’Harmattan, Vol. IV, N. 93-94, pp. 165-168, January 2006.
-
Des raisons qu’ont certains actes à être indirects
In : Psychologie de l’Interaction, Editions L’Harmattan, Paris, France, Special issue Langage et Cognition : contraintes pragmatiques, Vol. 21-22, pp. 237-258, 2006.
Abstract URL : https://www.irit.fr/publis/LILAC/Journaux_nationaux/2006_Longin_Psychologie-de-l-interaction.pdf
BibTeX
Christophe Bortolaso, Dominique Longin, Grégory Bonnet
Équipes industrielles en IA
Bulletin de l’Association Française pour l’Intelligence Artificielle, 123, pp.1–41, 2024, Association Française d’Intelligence Artificielle
Fatiha Saïs, Emmanuel Adam, Grégory Bonnet, Dominique Longin
PFIA 2023
Bulletin de l’Association Française pour l’Intelligence Artificielle, 122, 2023, Association Française d’Intelligence Artificielle
Sylvie Doutre, Andreas Herzig, Anthony Hunter
Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard
Journal of Applied Non-Classical Logics, 33 (3-4: Logic, arguments, inconsistencies, festschrift in honour of Philippe Besnard), pp.207-211, 2023, ⟨10.1080/11663081.2023.2250183⟩
Nouredine Hadjsaid, Gaël Lejeune, Emmanuel Adam, Dominique Longin
IA & énergie
Bulletin de l’Association Française pour l’Intelligence Artificielle, 121, 2023, Association Française d’Intelligence Artificielle
Nathalie Nevejans, Grégory Bonnet, Gaël Lejeune, Dominique Longin
IA & normes
Bulletin de l’Association Française pour l’Intelligence Artificielle, 120, 2023, Association Française d’Intelligence Artificielle
Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel
Epistemic planning: Perspectives on the special issue
Artificial Intelligence, 316 (3/4 – Special Issue: Epistemic Planning), pp.103842, 2023, ⟨10.1016/J.ARTINT.2022.103842⟩
Dominique Longin, Grégory Bonnet
Équipes académiques en IA
Bulletin de l’Association Française pour l’Intelligence Artificielle, 119, 2023, Association Française d’Intelligence Artificielle
Emmanuel Adam, Dominique Longin
PFIA 2022
Bulletin de l’Association Française pour l’Intelligence Artificielle, 118, 2022, Association Française d’Intelligence Artificielle
Gaël Lejeune, Emmanuel Adam, Dominique Longin
Équipes industrielles en IA
Bulletin de l’Association Française pour l’Intelligence Artificielle, 117, 2022, Association Française d’Intelligence Artificielle
Nicolas Maudet, Grégory Bonnet, Gaël Lejeune, Dominique Longin
IA & explicabilité
Bulletin de l’Association Française pour l’Intelligence Artificielle, 116, 2022, Association Française d’Intelligence Artificielle
Aurélie Beynier, Jean-Guy Mailly, Nicolas Maudet, Anaelle Wilczynski
Explaining the Lack of Locally Envy-Free Allocations
27th European Conference on Artificial Intelligence (ECAI 2024), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA), Oct 2024, Santiago de Compostela, Spain
Tiago de Lima, Emiliano Lorini
Model Checking Causality
33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Aug 2024, Jeju, South Korea. pp.3324–3332, ⟨10.24963/ijcai.2024/368⟩
Jérémy Bouché-Pillon, Nathalie Aussenac-Gilles, Yannick Chevalier, Pascale Zaraté
An ontology for legal reasoning on data sharing and processing between law enforcement agencies
3rd international workshop Knowledge Management and Process Mining for Law (KM4LAW 2024), IAOA, Jul 2024, Enschede, Netherlands. à paraître
Stergos Afantenos, Henri Prade, Gilles Richard, Leonardo Cortez-Bernades
Analogical Proportions and Creativity: A Preliminary Study
15th International Conference on Computational Creativity (ICCC 2024), Jun 2024, Jönköping, Sweden. pp.1–10
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
A SAT-based Approach for Argumentation Dynamics
23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), May 2024, Auckland (Nouvelle-Zélande), France
Florence Dupin de Saint-Cyr, Nicolas Yannick Pepin, Nassim Mokhtari, Philippe Morignot, Julien Vianey, Anne-Gwenn Bosser, Liana Ermakova
DriveToGaether: a Turnkey Collaborative Robotic Event Platform
16th International Conference on Agents and Artificial Intelligence (ICAART 2024), Feb 2024, Rome, Italy. pp.404–411, ⟨10.5220/0012463800003636⟩
Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti
A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1–21, ⟨10.4230/LIPIcs.CSL.2024.13⟩
Ryan Schuerkamp, Philippe Giabbanelli, Umberto Grandi, Sylvie Doutre
How to Combine Models? Principles and Mechanisms to Aggregate Fuzzy Cognitive Maps
Winter Simulation Conference (WSC 2023), Dec 2023, San Antonio, Texas, United States
Timothy Parker, Umberto Grandi, Emiliano Lorini
Anticipating Responsibility in Multiagent Planning
26th European Conference on Artificial Intelligence (ECAI 2023), Oct 2023, Crakow, Poland. ⟨10.3233/faia230474⟩
Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski
Fair Rent Division on a Budget Revisited
26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. ⟨10.3233/faia230253⟩
Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Classes of Explanations for the Verification Problem in Abstract Argumentation
Journées d’Intelligence Artificielle Fondamentale (JIAF 2023), Association française pour l’intelligence artificielle (AFIA), Jul 2023, Strasboug, France. pp.1-10
Nathalie Aussenac-Gilles, Jérémy Bouché-Pillon, Pascale Zaraté, Yannick Chevalier, Pierre-Yves Gicquel
Éléments d’état de l’art sur l’extraction et la modélisation de règles formelles à partir de textes légaux
34es Journées francophones d’Ingénierie des Connaissances (IC 2023) @ PFIA 2023, Collège SIC (Science de l’Ingénierie des Connaissances) de l’AFIA, Jul 2023, Strasbourg, France. pp.79-84
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning
Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4
Thomas Guyet, Philippe Besnard, Ahmed Samet, Nasreddine Ben Salha, Nicolas Lachiche
Énumération des occurrences d’une chronique
EGC 2020 – 20ème édition de la Conférence Extraction et Gestion des Connaissances, Jan 2020, Bruxelles, Belgique. pp.253-260
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation (JIAF 2020)
14èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2020), AFIA, 2020, Angers, France. pp.99-108
Philippe Besnard, Vincent Risch
Consistency Measures, Inconsistency Measures, and Mix Measures (Preliminary Report)
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France. pp.37–43
Unification in modal logic
8th Indian Conference on Logic and Its Applications (ICLA 2019), Mar 2019, Delhi, India. pp.1-5, ⟨10.1007/978-3-662-58771-3_1⟩
Frédéric Maris, Maël Valais, Julien Vianey
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu
Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA @ PFIA 2018), LORIA : Laboratoire lorrain de Recherche en Informatique et ses Applications, France; AFIA : Association française pour l’intelligence artificielle, France, Jul 2018, Nancy, France
Mehdi Dastani, Emiliano Lorini, John-Jules Meyer, Alexander Pankov
Other-Condemning Anger = Blaming Accountable Agents for Frustrated Intentions (PRIMA 2017)
20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Oct 2017, Nice, France. pp.15-33, ⟨10.1007/978-3-319-69131-2_2⟩
Philippe Besnard, Sylvie Doutre, Dominique Longin
Le système Sesame : Spécifier des sémantiques argumentatives
Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA 2017), Jul 2017, Caen, France. pp.1-4
Thomas Guyet, Philippe Besnard
Chronicles: Formalization of a Temporal Model
Springer International Publishing, pp.121, 2023, SpringerBriefs in Computer Science (BRIEFSCOMPUTER), 978-3-031-33692-8. ⟨10.1007/978-3-031-33693-5⟩
Zied Bouraoui, Valérie Camps, Éric Gaussier, Maxime Guériau, Christelle Launois, Nicolas Prcovic, Céline Rouveirol, Fatiha Saïs, François Schwarzentruber, Anaelle Wilczynski, Yves Demazeau, Thomas Guyet, Dominique Longin, Davy Monticolo, Ahmed Samet
Conférence Nationale d’Intelligence Artificielle Année 2022
Association Française d’Intelligence Artificielle, pp.1-239, 2022
Andreas Herzig, Antonio Yuste-Ginel
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, 13040, Springer International Publishing, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. ⟨10.1007/978-3-030-89391-0_11⟩
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner
Enforcement in Formal Argumentation
Dov Gabbay; Massimiliano Giacomin; Guillermo Simari; Matthias Thimm. Handbook of Formal Argumentation, Volume 2, 2, College Publications, 2021, 978-1-84890-336-4
Olivier Boissier, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Jean-Paul Jamont, Abir Karami, Maxime Lefrançois, Céline Rouveirol, François Schartzentruber, Yves Demazeau, Thomas Guyet, Dominique Longin, Frédéric Maris
Conférence Nationale d’Intelligence Artificielle Année 2021
Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
Epistemic Reasoning About Rationality and Bids in Auctions
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩
Towards a Generic Logical Encoding for Argumentation
Federico Castagna; Francesca Mosca; Jack Mumford; Stefan Sarkadi; Andreas Xydis. OHAAI : Online Handbook of Argumentation for AI, Volume 2, 2, , pp.12-16, 2021
Isabelle Bloch, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Amal El Fallah-Seghrouchni, Sébastien Ferré, Frédéric Maris, Alexandre Niveau, Nicolas Sabouret, Yves Demazeau, Dominique Longin
Conférence Nationale d’Intelligence Artificielle Année 2020
Association Française d’Intelligence Artificielle, 2020
Leila Amgoud, Philippe Besnard, Claudette Cayrol, Philippe Chatalic, Marie-Christine Lagasquie-Schiex
Argumentation and Inconsistency-Tolerant Reasoning
Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer International Publishing, pp.415-440, 2020, ⟨10.1007/978-3-030-06164-7_13⟩
Andreas Herzig, Philippe Besnard
Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning
Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630. ⟨10.1007/978-3-030-06164-7_2⟩
Jean-Guy Mailly, François Schwarzentruber, Anaelle Wilczynski
Actes des 18es Journées d’Intelligence Artificielle Fondamentale et des 19es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes
Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2024
Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Zied Bouraoui, Sandra Bringay, Romaric Gaudel, Charlotte Laclau, Christelle Launois, Maxime Morge, Catherine Roussey, François Schwarzentruber, Cassia Trojahn, Élise Vareilles, Anaelle Wilczynski
Conférence Nationale d’Intelligence Artificielle Année 2023
Conférence Nationale d’Intelligence Artificielle Année 2023, Association Française pour l’Intelligence Artificielle, 2023
Natasha Alechina, Andreas Herzig, Fei Liang
Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings
Lecture Notes in Computer Science, 14329, Springer Nature Switzerland, pp.XXVI, 1–323, 2023, Lecture Notes in Computer Science, 978-3-031-45557-5. ⟨10.1007/978-3-031-45558-2⟩
Andreas Herzig, Jieting Luo, Pere Pardo
Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Lecture Notes in Computer Science, 14156, Springer Nature Switzerland, pp.XX, 1–225, 2023, Lecture Notes in Computer Science, 978-3-031-40874-8. ⟨10.1007/978-3-031-40875-5⟩
Alexandre Dey, Benjamin Costé, Éric Totel, Adrien Bécue, Elkin Aguas, Anthony Lambert, Gregory Blanc, Hervé Debar, Yannick Chevalier, Amine Medad, Baptiste Gregorutti, Edouard Genetay, Alexandre Peter Nguema, Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de de Souza Lima, Rémy Charayron, Thierry Lefèvre, Nathalie Bartoli, Joseph Morlier, Zakaria Chihani, Bruno Carron, Stephan Brunessaux, Léonard Caquot, Tristan Charrier, Badre El Bezzaz Semlali, Oudomsack Pierre Pasquero, Alexis Bazin, Pierre-Elisée Flory, Katarzyna Kapusta, Oana Stan, Vincent Thouvenot, Karel Hynek, Romain Ferrari, Aymen Boudguiga, Renaud Sirdey, Alice Héliou, Thomas Cejka, Daria La Rocca, Martin Zuber, George Vardoulias, Ioannis Papaioannou, Andreas Vekinis, Georgia Papadopoulou, Marc Vincent, Amal El Fallah-Seghrouchni, Vincent Corruble, Narayan Bernardin, Rami Kassab, Frédéric Barbaresco, Karim Tit, Teddy Furon, Mathias Rousset, Louis-Marie Traonouez, Pierre-Yves Lagrave, Vincent Vidal, Marie-Caroline Corbineau, Tugdual Ceillier, Aleksei Iancheruk, Ahmed Allali, Julien Rodriguez, Tejas Bhor, Ricardo Garcia, Jean-Eudes Guilhot-Gaudeffroy, Robert Plana
Actes de la conférence CAID 2021 (Conference on Artificial Intelligence for Defense)
CAID 2021 (Conference on Artificial Intelligence for Defense), pp.1-152, 2021
Actes des 15es Journées d’Intelligence Artificielle Fondamentale
Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2021
Actes des 14es Journées d’Intelligence Artificielle Fondamentale
Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2020
Actes des 13es Journées d’Intelligence Artificielle Fondamentale (JIAF 2019)
Plate-Forme Intelligence Artificielle (PFIA 2019), Bulletin de l’Association Française pour l’Intelligence Artificielle, 106, Association Française pour l’Intelligence Artificielle, 2019, Actes des Journées d’Intelligence Artificielle Fondamentale
Umberto Grandi, Stefan Napel, Rolf Niedermeier, Kristen Brent Venable
Application-Oriented Computational Social Choice
Dagstuhl Seminar 19381 “ApplicationOriented Computational Social Choice”, Sep 2019, Wadern, Germany. 9 (9), Dagstuhl Publishing, 2019, ⟨10.4230/DagRep.9.9.45⟩
-
Andreas Herzig, Emiliano Lorini
European Conference on Social Intelligence (ECSI 2014), Barcelona, 03/11/14 – 05/11/14, CEUR-WS : Workshop proceedings, 2014.
-
Eleventh European Workshop on Multi-Agent Systems (EUMAS 2013), Toulouse, 12/12/13 – 13/12/13, CEUR-WS : Workshop proceedings, 2013.
-
Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin
Logics in Artificial Intelligence – 13th European Conference, JELIA 2012, Toulouse, France, 26/09/12 – 28/09/12, Springer-Verlag, LNCS 7519 , September 2012.
-
Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue (TIDIAD@ESSLLI2010), Copenhague, Danemark, 16/08/10 – 20/08/10, University of Copenhagen, August 2010.
URL : http://phis.ruc.dk/ESSLLI2010_Course_Material.zip
BibTeX -
Andreas Herzig, Benjamin Johnston
NRAC: Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change, Pasadena, CA (USA), 11/07/09, UTSeScholarship, October 2009.
URL : http://utsescholarship.lib.uts.edu.au/dspace/bitstream/handle/2100/967/complete%20proceedings.pdf?sequence=1
BibTeX -
Farah Benamara, Ozdowska Sylwia
Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RECITAL07), Toulouse, 05/06/08 – 08/06/08, IRIT Press, 2008.
URL : https://www.irit.fr/~Dominique.Longin/TALN2007/
BibTeX -
Philippe Besnard, Sylvie Doutre, Anthony Hunter
Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, 28/05/08 – 30/05/08, IOS Press, Frontiers in Artificial Intelligence and Applications ISBN 978-1-58603-859-5, May 2008.
Abstract URL : http://www.iospress.nl/loadtop/load.php?isbn=9781586038595
BibTeX -
Nabil Hathout, Philippe Muller
Traitement Automatique des Langues Naturelles, Toulouse, 05/06/07 – 08/06/07, IRIT Press, 2007.
URL : https://www.irit.fr/~Dominique.Longin/TALN2007/
BibTeX -
11th Workshop on the Semantics and Pragmatics of Dialogue (Decalog 2007), Rovereto, Italy, 30/05/07 – 01/06/07, University of Trento, May 2007.
-
Boicho Kokinov, Daniel Richardson, Thomas Roth-Berghofer, Laure Vieu
Modeling and Using Context.6th international and interdisciplinary conference (CONTEXT 2007), Roskilde, Denmark, 20/08/07 – 24/08/07, Springer-Verlag, LNAI 4635, August 2007.
A logical investigation of explainable AI
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2023. English. ⟨NNT : 2023TOU30187⟩
Logic-based Cognitive Planning : from theory to implementation
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2022. English. ⟨NNT : 2022TOU30193⟩
Logics for Representation and Design of Auctions
Multiagent Systems [cs.MA]. Université Toulouse 1 Capitole, 2022. English. ⟨NNT : ⟩
Algorithms for enriched abstract argumentation frameworks for large-scale cases
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30194⟩
Logics for Social Networks : Asynchronous Announcements in Orthogonal Structures
Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30269⟩
Models, algorithms and methodology for design of microcontroller-based physical security systems protected from cyber-physical attacks
Cryptography and Security [cs.CR]. Université Paul Sabatier – Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30252⟩
Lightweight approaches to reasoning about knowledge and belief
Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30265⟩
Interactive, Strategic, and Expressive Social Choice
Computer Science [cs]. Université Toulouse 1 Capitole, 2021
Reasoning about concurrent actions and its applications to epistemic and temporal planning
Networking and Internet Architecture [cs.NI]. Université Paul Sabatier – Toulouse III, 2020. English. ⟨NNT : 2020TOU30317⟩
About the type of modal logics for the unification problem
Logic in Computer Science [cs.LO]. Université Toulouse III – Paul Sabatier, 2020. English. ⟨NNT : ⟩
pygarg: A Python Engine for Argumentation
IRIT/RR–2024–02–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2024
Theory Synthesis based on Experience
[Research Report] IRIT/RR–2022–08–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022
Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Classes of Explanations for the Verification Problem in Abstract Argumentation
IRIT/RR–2022–09–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
RAFDivider
[Research Report] IRIT/RR–2022–07–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-48
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
AFDivider : Manual and Documentation
[Research Report] IRIT/RR–2022–02–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-45
Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Question-Based Explainability in Abstract Argumentation
[Research Report] IRIT/RR–2022–01–FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2022, pp.1-64
Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Explainability of Extension-Based Semantics
[Research Report] IRIT/RR–2022–05–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022, pp.1-20
Dominique Longin, Emiliano Lorini, Frédéric Maris
A Logical Modeling of the Yōkai Board Game
[Research Report] IRIT – Institut de recherche en informatique de Toulouse. 2020
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
Argumentation Frameworks with Higher-Order Attacks: Labelling Semantics
[Research Report] IRIT/RR–2020–01–FR, IRIT – Institut de recherche en informatique de Toulouse. 2020
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
Argumentation Frameworks with Higher-Order Attacks: Complexity results
[Research Report] IRIT/RR–2020–03–FR, Institut recherche en informatique de toulouse (IRIT). 2020